1

Minimality considerations for ordinal computers modeling constructibility

Year:
2008
Language:
english
File:
PDF, 312 KB
english, 2008
2

Register computations on ordinals

Year:
2008
Language:
english
File:
PDF, 238 KB
english, 2008
3

Monotone Subsequences in Any Dimension

Year:
1999
Language:
english
File:
PDF, 147 KB
english, 1999
4

On quantifier-rank equivalence between linear orders

Year:
2010
Language:
english
File:
PDF, 257 KB
english, 2010
7

Layered Circlepackings and the Type Problem

Year:
1998
Language:
english
File:
PDF, 166 KB
english, 1998
8

10.1090/s0002-9939-98-04472-4

Year:
1998
Language:
english
File:
PDF, 143 KB
english, 1998